Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
- Författare
- (Edited by Jasmin Christian Blanchette, Stephan Merz.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2016 | Tyskland, Cham | XVII, 502 sidor. 88 illus. online resource. | 978-3-319-43144-4 |